Computable scott sentences for quasi–Hopfian finitely presented structures

We prove that every quasi-Hopfian finitely presented structure A has a d- $$\Sigma _2$$ Scott sentence, and if in addition is computable Aut(A) satisfies natural condition, then sentence. This unifies several known results on sentences of structures it used to other not previously considered algebraic interest have sentences. In particular, we show right-angled Coxeter group finite rank as well any strongly rigid rank. Finally, the free projective plane 4 thus exhibiting example where assumption quasi-Hopfianity (since this Hopfian).